lateral rectus recession (bilateral)